1. Algebraic analysis of basic propositional logic
پدیدآورنده : by: Majid Alizadeh,^AAlizadeh, Majid
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
2. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
3. Algebraic logic
پدیدآورنده : Halmos, Paul R.)Paul Richard(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
4. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. An algebraic introduction tomathematical logic
پدیدآورنده : Barnes, Donald W.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
9
.
B27
6. Geometry of Subanalytic and Semialgebraic Sets
پدیدآورنده : by Masahiro Shiota.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic topology.,Geometry, Algebraic.,Geometry.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
7. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبان‌های صوری
رده :
P
39
.
L644
2015
E-Book
,
8. Mathematical logic and algebra : collected papers dedicated to the 100th birthday of academician petr Sergeevich Novikov
پدیدآورنده : Translated and published by Maik Nauka/Interperiodica Publishing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
1
.
P736
Vol
.
242
9. Selected topics in algebra
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Algebra,Geometry, Algebraic,Logic, Symbolic and mathematical
10. Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry
پدیدآورنده :
موضوع : Algebra,Geometry, Algebraic,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
11. The algebraic theory of switching circuits
پدیدآورنده : Moisil, Grigore C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
رده :
QA
401
.
M5513
1969
12. The algebraic theory of switching circuits,
پدیدآورنده : by Gr. C. Moisil
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic fields,Logic, Symbolic and mathematical,Switching theory
13. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
14. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
